Software assurance - PDFSEARCH.IO - Document Search Engine

Software assurance
Results: 2574

#	Item
841	Static Analysis Tool Exposition Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:58 Program analysis Software quality Computer security Hacking Vulnerability Static program analysis Software assurance Software testing Software engineering Evaluation
842	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
843	Project Assurance Framework Policy Overview Policy Policy Overview Add to Reading List Source URL: www.treasury.qld.gov.au Language: English - Date: 2014-11-30 20:11:01 Management Methodology Science Business case PRINCE2 Information Technology Infrastructure Library Software development process Forward Commitment Procurement Acquisition initiation Information technology management Project management Method engineering
844	Your System is Secure? Prove it! Gernot Heiser NICTA∗ and University of New South Wales and Open Kernel Labs Sydney, Australia [removed] Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:41 Evaluation Formal methods Microkernel L4 microkernel family Trusted computing base Gernot Heiser Formal verification Kernel Evaluation Assurance Level Computer architecture System software Computing
845	Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-01-21 09:38:38 Software engineering Formal methods Evaluation Ada programming language SPARK Reliability engineering Evaluation Assurance Level Functional specification Common Criteria Software development Computing Systems engineering
846	AUSTRALIA AUSTRALIA MO-32/2 Add to Reading List Source URL: www.amsa.gov.au Language: English - Date: 2015-01-28 01:06:31 Technology Science Load testing Quality assurance Proof test Cargo Statistical hypothesis testing Statistics Software testing Tests
847	AUSTRALIA AUSTRALIA MO-32/3 Add to Reading List Source URL: www.amsa.gov.au Language: English - Date: 2013-12-01 16:28:05 Load testing Quality assurance Cargo Evaluation Proof test Business Tests Software testing Technology
848	AUASB Bulletin AUASB Bulletin Standard Business Reporting and XBRL: Information for Audit and Assurance Practitioners June 2010 Add to Reading List Source URL: www.auasb.gov.au Language: English Accounting software Auditing XBRL XBRL assurance Standard Business Reporting Financial statement Institute of Chartered Accountants of India Generally Accepted Accounting Principles Financial audit Accountancy Business Finance
849	On-Board Mass Monitoring Test Report (Final) May 2009 © Transport Certification Australia Limited 2009. Add to Reading List Source URL: www.tca.gov.au Language: English - Date: 2011-08-30 02:57:39 Tests Trucks Load testing Quality assurance Software testing Truck scale Semi-trailer truck Weighing scale Load Measurement Measuring instruments Technology
850	Department of Finance and Deregulation Add to Reading List Source URL: www.finance.gov.au Language: English - Date: 2013-07-02 19:43:25 Management Science Human resource management Design Information science Enterprise modelling Application software Quality assurance Business analysis Information technology management Systems engineering Enterprise architecture

UPDATE